<?php
//number_format(float $num,int $decimals = 0,string $decimal_separator = ".",string $thousands_separator = ","): string

$num=111112.3;
$format=number_format($num,3,'.',",");
echo $format;
